Buy Used and New Bill Roscoe Books

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings: 9526 (Lecture Notes in Computer Science)

by Márcio Cornélio, Bill Roscoe

ISBN 13: 9783319294728

Format: Paperback (216 pages)
Publisher: Springer
Published: 03 Feb 2016

Save for later

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings: 10951 (Lecture Notes in Computer Science)

by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink

ISBN 13: 9783319955810

Format: Paperback (708 pages)
Publisher: Springer
Published: 12 Jul 2018

Save for later